Wyniki
-
On Some Logic with a Relation Imposed on Formulae: Tableau System F
Tomasz Jarmużek, Bartosz Jerzy Kaczkowski
Bulletin of the Section of Logic , 43 /1-2 (2014) s. 53-72
Tomasz Jarmużek,
Bartosz Jerzy Kaczkowski
Bulletin of the Section of Logic
, 43
/1-2
(2014)
s. 53-72